((v7 v6 7) (v3 v7 4) (v7 v2 0) (v2 v4 3) (v3 v5 4) (v1 v4 2) (v6 v1 4) (v5 v6 4) (v5 v2 1) (v3 v1 9))
44
()